Lovely Pairs for Independence Relations
نویسنده
چکیده
In the literature there are two different notions of lovely pairs of a theory T, according to whether T is simple or geometric. We introduce a notion of lovely pairs for an independence relation, which generalizes both the simple and the geometric case, and show how the main theorems for those two cases extend to our general notion.
منابع مشابه
Lovely pairs of models: the non first order case
We prove that for every simple theory T (or even simple thick compact abstract theory) there is a (unique) compact abstract theory T P whose saturated models are the lovely pairs of T . Independence-theoretic results that were proved in [BPV03] when T P is a first order theory are proved for the general case: in particular T P is simple and we characterise independence.
متن کاملThe independence property in generalized dense pairs of structures
We provide a general theorem implying that for a (strongly) dependent theory T the theory of su ciently well-behaved pairs of models of T is again (strongly) dependent. We apply the theorem to the case of lovely pairs of thorn-rank one theories as well as to a setting of dense pairs of rst-order topological theories.
متن کاملLovely Pairs and Dense Pairs of O-minimal Structures
We study the theory of Lovely pairs of þ-rank one theories, in particular O-minimal theories. We show that the class of א0-saturated dense pairs of O-minimal structures studied by van den Dries [6] agrees with the corresponding class of lovely pairs. We also prove that the theory of lovely pairs of O-minimal structures is super-rosy of rank ≤ ω.
متن کاملCompactness and independence in non first order frameworks
This communication deals with positive model theory, a non first order model theoretic setting which preserves compactness at the cost of giving up negation. Positive model theory deals transparently with hyperimaginaries, and accommodates various analytic structures which defy direct first order treatment. We describe the development of simplicity theory in this setting, and an application to ...
متن کاملWeak One-Basedness
We study the notion of weak one-basedness introduced in recent work of Berenstein and Vassiliev. Our main results are that this notion characterises linearity in the setting of geometric þ-rank 1 structures and that lovely pairs of weakly one-based geometric þ-rank 1 structures are weakly one-based with respect to þ-independence. We also study geometries arising from infinite dimensional vector...
متن کامل